Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester

Source URL: www.cs.man.ac.uk

• Non-classical logic
• Model theory
• Philosophical logic
• Formal methods
• Transitive closure
• Modal logic
• Description logic
• Boolean satisfiability problem
• Satisfiability
• Logic
• Mathematics
• Mathematical logic

Remarkable photos recall Wave Hill handover Rob Wesley-Smith was one of the few people present with a camera to capture the key gesture of the formal hand-back of 3236 sq km of Gurindji lands in the Northern Terrritory t

Source URL: www.territorystories.nt.gov.au

• Australia
• Gurindji people
• Division of Lingiari
• Members of the Australian House of Representatives
• Vincent Lingiari
• Kalkarindji
• Northern Territory
• Warren Snowdon
• Indigenous Australians
• Vestey Group
• Indigenous peoples of Australia
• Aboriginal land rights in Australia
• Politics of Australia

Microsoft Word - Wallis.JEBO.Finaldoc

Source URL: econweb.umd.edu

• Social group
• Organized crime
• Institution
• New institutionalism
• Violence
• Douglass North
• Formal organization
• Social network
• Sociology
• Science
• Structure

Delft University of Technology Software Engineering Research Group Technical Report Series Decorated Attribute Grammars. Attribute Evaluation Meets

Source URL: swerl.tudelft.nl

• Software engineering
• Attribute grammar
• Parsing
• Computer programming
• Tree traversal
• Binary tree
• HTML element
• Attribute
• Computing
• Compiler construction
• Formal languages

Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011

Source URL: www.ai4fm.org

• Applied mathematics
• Formal methods
• Isabelle
• Logic for Computable Functions
• HOL
• B-Method
• Vampire
• Rodin
• Theorem prover
• Theoretical computer science
• Mathematical software
• Logic in computer science

Brussels Development Policy Briefing no.40 Data: the next revolution for agriculture in ACP countries Organised by CTA, the ACP Secretariat, the European Commission, Concord th 18 February 2015, 14h00-18h00 (preceded by

Source URL: brusselsbriefings.files.wordpress.com

• Database management systems
• Database theory
• Science
• Data analysis
• Business intelligence
• Data mining
• Big data
• Geographic information system
• African
• Caribbean and Pacific Group of States
• Data management
• Technology
• Formal sciences

London Assembly London Assembly passes Green motion condemning ID cards The London Assembly today passed a motion proposed by the Green Party Group condemning ID cards. The motion that was tabled during a formal meeting

Source URL: www.no2id.net

• Immigration to the United Kingdom
• Law enforcement in the United Kingdom
• Identification
• Identity document
• Identity theft
• Terrorism
• Security
• Government
• Identity Cards Act

SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

Source URL: www.swi-prolog.org

• Constraint programming
• Formal languages
• Prolog
• Logic programming
• Logtalk
• Definite clause grammar
• ECLiPSe
• Unification
• String
• Software engineering
• Computing
• Computer programming

Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames

Source URL: ti.arc.nasa.gov

• Cross-platform software
• Model checkers
• Functional languages
• Lisp programming language
• Programming paradigms
• Promela
• Model checking
• Java Pathfinder
• Common Lisp
• Computing
• Software engineering
• Computer programming

A Formal Analysis of the Cambridge Economic Policy Group Model Francis Cripps; Wynne Godley Economica, New Series, Vol. 43, NoNov., 1976), ppStable URL: http://links.jstor.org/sici?sici=%28197

Source URL: www.soas.ac.uk